4

Interactive proof systems and alternating time—space complexity

Year:
1993
Language:
english
File:
PDF, 1.29 MB
english, 1993
7

Algebraic methods for interactive proof systems

Year:
1992
Language:
english
File:
PDF, 740 KB
english, 1992
8

Non-deterministic exponential time has two-prover interactive protocols

Year:
1991
Language:
english
File:
PDF, 2.43 MB
english, 1991
10

Preliminary Flight Tests of a Hinge-Less Roll Control Effecter

Year:
2006
Language:
english
File:
PDF, 768 KB
english, 2006